Kochen–Specker Theorem: Two Geometric Proofs
نویسندگان
چکیده
We present two geometric proofs for KochenSpecker’s theorem [S. Kochen, E. P. Specker: The problem of hidden variables in quantum mechanics, J. Math. Mech. 17 (1967), 5987]. A quite similar argument has been used by Cooke, Keane, Moran [R. Cooke, M. Keane, W. Moran: An elementary proof of Gleason’s theorem, Math. Proc. Camb. Phil. Soc. 98 (1985), 117128], and by Kalmbach in her book to derive Gleason’s theorem.
منابع مشابه
An obstruction based approach to the Kochen - Specker theorem
In [1] it was shown that the Kochen Specker theorem can be written in terms of the non-existence of global elements of a certain varying set over the category W of boolean subalgebras of projection operators on some Hilbert space H. In this paper, we show how obstructions to the construction of such global elements arise, and how this provides a new way of looking at proofs of the theorem.
متن کاملContextual Value-definiteness and the Kochen-Specker Paradox
Compatibility between the realist tenants of value-definiteness and causality is called into question by several realism impossibility proofs in which their formal elements are shown to conflict. We review how this comes about in the Kochen-Specker and von Neumann proofs and point out a connection between their key assumptions: a constraint on realist causality via additivity in the latter proo...
متن کاملIsomorphism between the Peres and Penrose Proofs of the BKS Theorem in Three Dimensions
It is shown that the 33 complex rays in three dimensions used by Penrose to prove the Bell-Kochen-Specker theorem have the same orthogonality relations as the 33 real rays of Peres, and therefore provide an isomorphic proof of the theorem. It is further shown that the Peres and Penrose rays are just two members of a continuous three-parameter family of unitarily inequivalent rays that prove the...
متن کاملnt - p h / 01 04 13 3 v 5 2 O ct 2 00 1 Bell ’ s theorem without inequalities and only two distant observers
A proof of Bell's theorem without inequalities is given by suitably extending a proof of the Bell-Kochen-Specker theorem due to Mermin. This proof is generalized to obtain an inequality-free proof of Bell's theorem based on an entangled state of 2n qubits (with n odd) shared between two distant observers. A generalized CHSH inequality is formulated for 2n qubits and it is shown that quantum mec...
متن کاملnt - p h / 01 04 13 3 v 7 7 J ul 2 00 2 Bell ’ s theorem without inequalities and only two distant observers
A proof of Bell's theorem without inequalities and involving only two observers is given by suitably extending a proof of the Bell-Kochen-Specker theorem due to Mermin. This proof is generalized to obtain an inequality-free proof of Bell's theorem for a set of n Bell states (with n odd) shared between two distant observers. A generalized CHSH inequality is formulated for n Bell states shared sy...
متن کامل